Paul Sabatier

Results: 102



#Item
11

Univalent Foundations and the Equivalence Principle Benedikt Ahrens Université Paul Sabatier, Toulouse, France Conference on Mathematics and its Applications 2014

Add to Reading List

Source URL: benedikt-ahrens.de

Language: English - Date: 2014-11-11 17:28:11
    12

    Coinitial semantics for redecoration of triangular matrices Benedikt Ahrens and R´egis Spadotti Institut de Recherche en Informatique de Toulouse Universit´e Paul Sabatier, Toulouse

    Add to Reading List

    Source URL: benedikt-ahrens.de

    Language: English - Date: 2015-03-06 07:34:06
      13

      Green Chemistry Seminar (CCVC) (Open to public) Professor Didier Bourissou Laboratoire Hétérochimie Fondamentale et Appliquée Université Paul Sabatier (Toulouse, France)

      Add to Reading List

      Source URL: ccvc.research.mcgill.ca

      - Date: 2016-05-30 12:04:40
        14

        Oberseminar Analysis und Theoretische Physik Dr. Paulo Carrillo Rouse Institut de Mathématiques de Toulouse / Université Paul Sabatier

        Add to Reading List

        Source URL: www.ifam.uni-hannover.de

        - Date: 2015-03-19 08:45:30
          15

          Filtering and Ranking for Social Media Monitoring Arlind Kopliku* — Paul Thomas** — Stephen Wan*** — Cécile Paris*** * IRIT, Paul Sabatier University, Toulouse, France

          Add to Reading List

          Source URL: es.csiro.au

          Language: English - Date: 2015-02-24 02:29:40
            16

            Topology of Hyperbolic Actions of Rn on n-manifolds Damien Bouloc Institut de Math´ematiques de Toulouse, Universit´e Paul Sabatier The study of nondegenerate actions of Rn on compact connected manifolds of dimension n

            Add to Reading List

            Source URL: www.uantwerpen.be

            Language: English - Date: 2016-06-01 13:55:28
              17

              Modules over monads for operational semantics Benedikt Ahrens Institut de Recherche en Informatique de Toulouse Université Paul Sabatier Journées GDR LTP

              Add to Reading List

              Source URL: benedikt-ahrens.de

              Language: English - Date: 2013-11-17 15:24:34
                18

                Univalent categories and the Rezk completion Benedikt Ahrens joint work with Krzysztof Kapulkin and Michael Shulman Institut de Recherche en Informatique de Toulouse Université Paul Sabatier

                Add to Reading List

                Source URL: benedikt-ahrens.de

                Language: English - Date: 2013-11-26 16:54:57
                  19

                  Models of type theory in univalent mathematics B. Ahrens, about jww P. LeF. Lumsdaine, V. Voevodsky Institut de Recherche en Informatique de Toulouse Université Paul Sabatier

                  Add to Reading List

                  Source URL: benedikt-ahrens.de

                  Language: English - Date: 2015-08-31 05:41:10
                    20

                    Comodules over relative comonads for streams and infinite matrices Benedikt Ahrens joint work with Régis Spadotti Institut de Recherche en Informatique de Toulouse Université Paul Sabatier

                    Add to Reading List

                    Source URL: benedikt-ahrens.de

                    Language: English - Date: 2014-05-06 15:14:36
                      UPDATE